🌤

系统默认使用的是hpet时钟源。，尝试修复npc跑分过低的问题，参考讲义中的连接[https://stackoverflow.com/questions/42622427/gettimeofday-not-using-vdso]

sudo sh -c "echo tsc >/sys/devices/system/clocksource/clocksource0/current_clocksource"

但tsc目前不可用，系统会自动再切回hpet，并且acpi_pm也没有改善跑分过低的问题。
尝试启用tsc时钟源，在系统启动加载程序中设置时钟源：
例如，如果您使用 grub2 并且想要将时钟源设置为 "tsc"，则请在编辑器中打开 /etc/default/grub。然后，为 GRUB_C MDLINE_LINUX 选项添加 clocksource =tsc tsc=reliable：

GRUB_CMDLINE_LINUX="console=tty0 crashkernel=auto console=ttyS0,115200 clocksource=tsc tsc=reliable"

生成 grub.cfg 文件：

grub2-mkconfig -o /boot/grub2/grub.cfg

好吧测试下来tsc也没有改善性能，目前真的没什么头猪了，这个问题不像别的bug那样有显式的报错或者明显地破坏了程序的正确性，导致没有什么抓手，还得再想想。。。

实际上